Reasoning About Knowledge: A Tutorial
نویسنده
چکیده
R e f e r e n c e s [Hal87] J .Y. Halpern, Using reasoning about knowledge to analyze distributed systems, Annual Review of Computer Science, Vol. 2, Annual Reviews Inc., 1987, pp. 37-68. [HF85] J .Y . Halpern and R. Fagin, A formal model of knowledge, action, and communication in distributed systems: preliminary report, Proc. 4th ACM Symp. on Principles o] Distributed Computing, 1985, pp. 224-236. [HM84] J. Y. Halpern and Y. Moses, Knowledge and common knowledge in a distributed environment, Proc. 3rd ACM Syrup. on Principles o] Distributed Computing, 1984, pp. 50-61. A revised version appears as IBM Research Report RJ 442i, Aug., 1987.
منابع مشابه
An Analysis of Tutorial Reasoning about Programming Bugs
New Haven, CT 06620 what knowledge to teach a student who makes a bug nor about how to teach the knowledge. In a sense, all the tutorial knowledge possessed by such systems is ‘compiled”. The three step model may be appropriate for tutoring students when their bugs do not reflect deep misunderstandings, or when one bug always should get the same intervention. However, it seems unlikely to be ef...
متن کاملRepresenting knowledge in a Reflective Tutorial Dialogue System for Historical Text Comprehension
The Dialogue-based Reflective Learning System for Historical Text Comprehension consists of two parts: (1) the Diagnosis and (2) the Reflective Tutorial Dialogue. In this paper we present the knowledge representation in the dialogue generator module of the Reflective Tutorial Dialogue System (ReTuDiS), which is based on the Theory of Inquiry Teaching. The dialogue generator uses dialogue strate...
متن کاملHow do gut feelings feature in tutorial dialogues on diagnostic reasoning in GP traineeship?
Diagnostic reasoning is considered to be based on the interaction between analytical and non-analytical cognitive processes. Gut feelings, a specific form of non-analytical reasoning, play a substantial role in diagnostic reasoning by general practitioners (GPs) and may activate analytical reasoning. In GP traineeships in the Netherlands, trainees mostly see patients alone but regularly consult...
متن کاملA Logical Approach to Reasoning about Uncertainty: a Tutorial
I consider a logical framework for modeling uncertainty based on the use of possible worlds that incorporates knowledge probability and time This turns out to be a powerful approach for modeling many problems of interest I show how it can be used to give insights into among other things several well known
متن کاملInterest-Focused Tutoring: A Tractable Approach to Modeling in Intelligent Tutoring Systems
Despite the progress made in the field of intelligent tutoring systems (ITS), it is still a major challenge to build systems that can teach about complex, ill-structured domains. A chief reason is that detailed, dynamic modeling of students' knowledge is intractable in such areas, and complete, correct models of expert knowledge are inherently difficult to build. These difficulties have led som...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1988